document.write (" 10994 ");