document.write (" 12643 ");