document.write ("6142");