document.write (" 10755 ");