document.write (" 12470 ");