document.write ("3956 ");