document.write ("4312");