document.write (" 12683 ");