document.write("401142")