document.write (" 12543 ");