document.write (" 12680 ");