Code used for 1410.8051