document.write (" 12442 ");