document.write (" 12742 ");