long ibm_time();
