document.writeln("5006");