document.write (" 9524 ");