document.write (" 12471 ");