document.write (" 9502 ");