document.write (" 31240 ");