document.write (" 9530 ");