document.write (" 12694 ");