document.write (" 9523 ");