document.write("
0 0 9 2
");