document.write (" 12479 ");