document.write (" 11994 ");