document.write (" 12472 ");