document.write (" 9520 ");