12hd6p8jav047s - execution time: 0.640 sec.