document.write (" 12705 ");