document.writeln("401142")