document.write (" 10525 ");