document.write (" 10094 ");