Function A000176