//document.write ('12 '); //document.write ('\n');