document.write (" 10933 ");