call the function time.gmtime with argument timeval, use string '%Y%m%d%H%M%S' and the previous result as an argument for the call to the time.strftime function, substitute the result for utcdate.
utcdate = time . strftime ( '%Y%m%d%H%M%S' , time . gmtime ( timeval ) )