document.write (" 10534 ");