document.write (" 12058 ");