document.write (" 11694 ");