document.write (" 11238 ");