document.write("
0 0 1 7 1 2
");