document.write (" 12905 ");