document.write (" 12917 ");