document.write(" 10442");