document.write (" 9532 ");