document.write (" 10133 ");