document.write (" 130712 ");